Pair-based Subrecursion

نویسنده

  • Paul J. Voda
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Streamlined subrecursive degree theory

The study of honest elementary degrees has its roots in subrecursion theory from the nineteen seventies. Some relevant papers are Meyer & Ritchie [12] and Machtey [9–11]. These papers deal with subrecursive function classes being generated by so-called honest functions where an honest function is defined relative to a subrecursive class S and a model of computation: a function f : N → N is hone...

متن کامل

Subrecursion as a Basis for a Feasible Programming Language

We are motivated by nding a good basis for the semantics of programming languages and investigate small classes in subrecursive hierarchies of functions. We do this with the help of pairing functions because in this way we can explore the amazing coding powers of S-expressions of LISP within the domain of natural numbers. In the process of doing this we introduce a missing stage in Grzegorczyk-...

متن کامل

Spectrophotometric Methods for Determination of Sunitinib in Pharmaceutical Dosage Forms Based on Ion-pair Complex Formation

Three rapid spectrophotometric methods were developed for the determination of sunitinib based on the formation of ion-pair complex in acidic medium with bromocresol purple, bromothymol blue, and bromophenol blue. The formed ion-pair complexes, extractable with chloroform, were measured at 422 nm for bromocresol purple, 425 nm for bromothymol blue and 427 nm for bromophenol blue. All these meth...

متن کامل

Spectrophotometric Methods for Determination of Sunitinib in Pharmaceutical Dosage Forms Based on Ion-pair Complex Formation

Three rapid spectrophotometric methods were developed for the determination of sunitinib based on the formation of ion-pair complex in acidic medium with bromocresol purple, bromothymol blue, and bromophenol blue. The formed ion-pair complexes, extractable with chloroform, were measured at 422 nm for bromocresol purple, 425 nm for bromothymol blue and 427 nm for bromophenol blue. All these meth...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994